Static program analysis - PDFSEARCH.IO - Document Search Engine

Static program analysis
Results: 262

#	Item
251	STATIC VERIFICATION OF DYNAMIC PROPERTIES Dr. Alain Deutsch Chief Technical Officer Add to Reading List Source URL: nesl.ee.ucla.edu Language: English - Date: 2005-10-01 21:19:04 Polyspace Program analysis Software testing Ada Programming language Formal methods Logic in computer science Static program analysis Dynamic program analysis Computing Software engineering Programming language theory
252	Static Analysis on Steriods: Parasoft BugDetective Add to Reading List Source URL: www.parasoft.com Language: English - Date: 2013-10-11 03:02:51 Software review Parasoft Adam Kolawa Code review Automated code review Software development process C Static program analysis Software bug Software testing Software Computing
253	Correctness by Construction: Developing a Commercial Secure System Anthony Hall and Roderick Chapman Add to Reading List Source URL: www.anthonyhall.org Language: English - Date: 2009-06-24 07:47:13 Formal methods Program analysis Ada programming language SPARK Formal verification Static program analysis Common Criteria Software development process Requirement Computing Software engineering Programming language theory
254	PDF Document Add to Reading List Source URL: apotheca.hpl.hp.com Language: English - Date: 1999-01-04 14:36:58 Software development Extended static checking Program analysis Formal verification Type system ESC/Java Programming language Modula-3 Software bug Software engineering Computing Formal methods
255	PDF Document Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2003-02-26 14:18:02 Formal methods Ada programming language SPARK Static program analysis Ada Software development process Malpas Line-replaceable unit MALPAS Software Static Analysis Toolset Computing Software engineering Computer programming
256	PDF Document Add to Reading List Source URL: paginas.fe.up.pt Language: English - Date: 2009-10-22 15:17:50 Software review FxCop Static program analysis Software bug Code review Software testing ESC/Java PMD StyleCop Software Computing Program analysis
257	PDF Document Add to Reading List Source URL: publications.lib.chalmers.se Language: English - Date: 2009-08-19 08:04:19 Program analysis Software testing Software quality Software bug Cppcheck Static program analysis Compiler Analysis Reliability engineering Software engineering Software Computing
258	PDF Document Add to Reading List Source URL: democrats.energycommerce.house.gov Language: English - Date: 2010-06-21 17:58:22 Software testing Program analysis Embedded systems Systems engineering Software review Polyspace Static program analysis Software development process Software verification Software quality Software engineering Software development
259	PDF Document Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2007-10-31 17:44:24 Source code Debugging Computer jargon Software archaeology Software maintenance Software bug Open-source software Instrumentation Static program analysis Computer programming Computing Software engineering
260	PDF Document Add to Reading List Source URL: coverity.com Language: English - Date: 2010-02-10 12:36:42 Coverity Software testing Source code Software bug Code coverage Computer security Static program analysis ChecKing Open source software security Software engineering Software quality Computer programming